<?php
header('content-type:text/html;charset=utf-8');
date_default_timezone_set('PRC');
$start = microtime(true);

for ($i = 0; $i<10000;$i++){
    $a = 1;
}

$end = microtime(true);

echo $end - $start;





